Model Predictive Control of Priced Timed Automata Encoded With First-Order Logic

Priced timed automata (PTA) are discrete-event system models with temporal constraints and a cost function used to pose optimal scheduling routing problems. To date, solutions these problems have been found offline executed open loop.This open-loop control strategy makes it impossible account for disturbances, i.e., changes in costs or over time. address this shortcoming, work’s first contribution is closed-loop model predictive (MPC) framework PTA, enabling decision-making based on real-time updates. ensure the feasibility of an MPC problem, often desirable soften constraints. However, contemporary PTA theory does not consider soft Thus, second integrate constraint softening by harnessing capabilities new solvers enabled recasting problem into first-order logic employing modified encoding schemes existing works. Finally, proposed implementation demonstrated simulation case study guidance product through manufacturing system.